include protocol managerProtocol;

protocol managedProtocol {
    manager managerProtocol;

child:
    async __delete__();
};
